Perpendicular Bisector/Endpoints Theorem